A Pragmatic Approach
نویسندگان
چکیده
When analyzing a program via an abstract interpretation framework we would like to analyze the program in a context-sensitive interprocedural manner. Analyzing the program in a manner that considers interprocedural flow can lead to much more accurate results than local or context-insensitive analyses. However, the computational cost (both time and memory consumption) associated with context-sensitive interprocedural analysis techniques makes them infeasible for all but very small programs or simple domains. This paper presents several novel, domain independent, heuristics for reducing the cost of analyzing a program in a contextsensitive manner while having a small impact on the precision of the results. The heuristics are motivated by observations about fundamental properties of software design and the semantics of iterative dataflow analysis. We validate the effectiveness of the heuristics via experimental evaluation which shows both good scalability and high precision of the results.
منابع مشابه
A Pragmatic Approach to Superwarfarin Intoxication in a Resource Constraint Setting; a Case Report
متن کامل
Investigating Non-Native English Speaking Graduate Students’ Pragmatic Development in Requestive Emails
The present study investigated learners’ interlanguage pragmatic development through analysis of 99 requestive emails addressed to a faculty member over a period of up to two years. Most previous studies mainly investigated how non-native English speaking students’ (NNESs) pragmalinguistic and sociopragmatic competence differed from native English speaking students (NESs) and compared learners ...
متن کاملImpoliteness and Power: An Interlanguage Pragmatic Approach to the Use of Impolite Patterns in Terms of Power
Although studies on pragmatics in general and politeness in particular abound in the literature, impoliteness has been largely ignored. In the present study, participants filled out either the Persian or English version of a discourse completion test (DCT). The researchers analyzed collected answers to discover the relationship between impoliteness and power. Furthermore, the researchers compar...
متن کاملExplicit Instruction of Pragmatic Features: Its Impact on EFL Learners’ Knowledge of Hedging Devices in Academic Writing
Hedging academic claims has been recognized as one of integral pragmatic features of academic writing in which most EFL academic writers seem to face substantial problems. Explicit instruction has been proposed by some scholars as an effective approach to make EFL writers aware of the importance, different forms, and pragmatic functions of hedging devices some of which are polysemous and polypr...
متن کاملIntrinsic Value: Towards A Pragmatic Theory
Intrinsic value is a concept central to the environmentalist movement. Whether one believes that natural objects have intrinsic value is supposed to determine whether one takes a ecocentric or homocentric approach to environmentalism, whether we practice deep or (merely) shallow ecology. Yet this concept is also a center of controversy and confusion. Just what does it mean for something to ha...
متن کاملNursing profession: a pragmatic discipline
Background & Aim: The nursechr('39')s philosophical perspective affects his/her caring performance. Pragmatism is also an important philosophical thought. Pragmatism is often found in nursing texts, but few authors have discussed in depth its application in nursing. Therefore, the purpose of this article is to review the effects of pragmatism philosophy in the dimensions of knowledge, education...
متن کامل